Tribute to Bagrat G. Seyranyan, Our Dear Friend, Colleague, and Teacher!

A Tribute to Our Friend

The American Dental Hygienists' Association (ADHA) central office staff is made up of highly competent individuals who work together for the benefit of our profession. Sometimes it seems as though people take positions with ADHA and stay only long enough to gain experience and build a reputation before moving on to better paying positions somewhere else. This can't be prevented and is an expect...

Dear Colleague

Thomas G. Pickering: friend, colleague and scientist.

We, in common with many others, realized that with his passing, an era in hypertension research had also ended, and that it would be remiss of us and of ‘Blood Pressure Monitoring’ on which he served with us as a senior editor for so many years, if we did not pay tribute to his remarkable achievements. We acknowledge it as a tribute to the friendship and respect that Tom inspired across the wor...

A NOTE ON REWRITING THEORY FOR UNIQUENESS OF ITERATION Dedicated to our friend and colleague

Uniqueness for higher type term constructors in lambda calculi (e.g. surjective pairing for product types, or uniqueness of iterators on the natural numbers) is easily expressed using universally quanti ed conditional equations. We use a technique of Lambek[18] involving Mal'cev operators to equationally express uniqueness of iteration (more generally, higher-order primitive recursion) in a sim...

A NOTE ON REWRITING THEORY FOR UNIQUENESS OFITERATIONDedicated to our friend and colleague Jim

Uniqueness for higher type term constructors in lambda calculi (e.g. surjective pairing for product types, or uniqueness of iterators on the natural numbers) is easily expressed using universally quantiied conditional equations. We use a technique of Lambekk18] involving Mal'cev operators to equationally express uniqueness of iteration (more generally, higher-order primitive recursion) in a sim...